#ifndef lint
static const char yysccsid[] = "@(#)yaccpar	1.9 (Berkeley) 02/21/93";
#endif

#define YYBYACC 1
#define YYMAJOR 1
#define YYMINOR 9
#define YYPATCH 20100610

#define YYEMPTY        (-1)
#define yyclearin      (yychar = YYEMPTY)
#define yyerrok        (yyerrflag = 0)
#define YYRECOVERING() (yyerrflag != 0)

#define YYPREFIX "yy"

#define YYPURE 0

#line 4 "tp.y"


#include <iostream>
#include "tp.h"

#include <stdio.h>
#include <string.h>
extern "C"
{
        int yyparse(void);
        int yylex(void);  
        int yywrap()
        {
                return 1;
        }
        extern FILE * yyin;
        void analizo_grafo(nodeType *);
        int yyval =  0;
        
 
}


/* prototypes */

nodeType *buildNode(char c, int tipo);
nodeType *joinThreeNodes(nodeType * h1, nodeType * h2, nodeType * h3, int tipo);
nodeType *joinTwoNodes(nodeType * h1, nodeType * h2, int tipo);
nodeType *joinSingleNode(nodeType * h1, int tipo);

void yyerror(const char *str)
{
        if("syntax error" != str)
        {
            fprintf(stderr,"error: %s\n",str);
        }
        
}
 


#line 49 "tp.y"
typedef union {
    char iValue;                 /* integer value */
    nodeType *nPtr;             /* node pointer */
} YYSTYPE;
#line 66 "tp.cc"
/* compatibility with bison */
#ifdef YYPARSE_PARAM
/* compatibility with FreeBSD */
# ifdef YYPARSE_PARAM_TYPE
#  define YYPARSE_DECL() yyparse(YYPARSE_PARAM_TYPE YYPARSE_PARAM)
# else
#  define YYPARSE_DECL() yyparse(void *YYPARSE_PARAM)
# endif
#else
# define YYPARSE_DECL() yyparse(void)
#endif

/* Parameters sent to lex. */
#ifdef YYLEX_PARAM
# define YYLEX_DECL() yylex(void *YYLEX_PARAM)
# define YYLEX yylex(YYLEX_PARAM)
#else
# define YYLEX_DECL() yylex(void)
# define YYLEX yylex()
#endif

extern int YYPARSE_DECL();
extern int YYLEX_DECL();

#define CARACTER 257
#define PLACEHOLDER 258
#define YYERRCODE 256
static const short yylhs[] = {                           -1,
    0,    0,    0,    1,    2,    2,    4,    4,    5,    5,
    5,    3,    6,    6,    6,    6,    6,
};
static const short yylen[] = {                            2,
    0,    2,    2,    2,    3,    1,    2,    1,    3,    3,
    1,    1,    3,    3,    5,    5,    1,
};
static const short yydefred[] = {                         0,
    0,    0,    3,   12,    0,    0,    2,    0,   17,    0,
    8,    0,    0,    0,    4,    0,    7,    0,    0,   13,
   14,    0,    0,    0,    0,    0,    0,    0,    0,   16,
   15,    0,
};
static const short yydgoto[] = {                          2,
    7,    8,    9,   10,   11,   12,
};
static const short yysindex[] = {                      -233,
 -222,  -40,    0,    0,  -40,  -40,    0,  -43,    0,  -40,
    0,  -75,  -23,  -31,    0,  -40,    0,  -40,  -40,    0,
    0,  -40,  -69,  -62,  -40,  -40,  -40,  -40,  -69,    0,
    0,  -62,
};
static const short yyrindex[] = {                         1,
    0,    0,    0,    0,    0,    0,    0,    0,    0,  -34,
    0,  -38,    0,    0,    0,    0,    0,    0,    0,    0,
    0,  -33,  -35,  -30,    0,    0,    0,    0,    0,    0,
    0,    0,
};
static const short yygindex[] = {                         0,
    0,   29,    0,   21,    5,    3,
};
#define YYTABLESIZE 258
static const short yytable[] = {                          5,
    1,   11,   11,   16,   10,   10,    6,    5,   11,    9,
    9,   10,    6,    5,   17,   16,    9,   20,   19,   18,
   23,   24,    1,   16,   26,   25,   17,   29,   30,   31,
   32,   28,   27,   13,   14,    3,   22,    0,    0,    0,
    1,    0,    0,    0,    0,    0,    0,    0,    0,    0,
    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
    0,    0,    6,    0,   11,    0,   11,   10,    0,   10,
    6,    5,    9,   21,    9,    0,    0,    0,    0,    0,
    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
    0,    0,    0,    1,    0,    0,    0,    0,    0,    0,
    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
    0,    0,    0,    0,   15,    0,    4,    0,   11,   11,
    0,   10,   10,    6,    5,    0,    9,    9,    0,    0,
    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
    0,    0,    0,    0,    0,    0,    0,    1,
};
static const short yycheck[] = {                         40,
    0,   40,   41,   47,   40,   41,   41,   41,   47,   40,
   41,   47,   47,   47,   10,   47,   47,   41,   94,   95,
   18,   19,  256,   47,   94,   95,   22,   25,   26,   27,
   28,   94,   95,    5,    6,  258,   16,   -1,   -1,   -1,
   40,   -1,   -1,   -1,   -1,   -1,   -1,   -1,   -1,   -1,
   -1,   -1,   -1,   -1,   -1,   -1,   -1,   -1,   -1,   -1,
   -1,   -1,   -1,   -1,   -1,   -1,   -1,   -1,   -1,   -1,
   -1,   -1,   -1,   -1,   -1,   -1,   -1,   -1,   -1,   -1,
   -1,   -1,  123,   -1,  123,   -1,  125,  123,   -1,  125,
  125,  125,  123,  125,  125,   -1,   -1,   -1,   -1,   -1,
   -1,   -1,   -1,   -1,   -1,   -1,   -1,   -1,   -1,   -1,
   -1,   -1,   -1,   -1,   -1,   -1,   -1,   -1,   -1,   -1,
   -1,   -1,   -1,  123,   -1,   -1,   -1,   -1,   -1,   -1,
   -1,   -1,   -1,   -1,   -1,   -1,   -1,   -1,   -1,   -1,
   -1,   -1,   -1,   -1,   -1,   -1,   -1,   -1,   -1,   -1,
   -1,   -1,   -1,   -1,   -1,   -1,   -1,   -1,   -1,   -1,
   -1,   -1,   -1,   -1,   -1,   -1,   -1,   -1,   -1,   -1,
   -1,   -1,   -1,   -1,   -1,   -1,   -1,   -1,   -1,   -1,
   -1,   -1,   -1,   -1,   -1,   -1,   -1,   -1,   -1,   -1,
   -1,   -1,   -1,   -1,   -1,   -1,   -1,   -1,   -1,   -1,
   -1,   -1,   -1,   -1,   -1,   -1,   -1,   -1,   -1,   -1,
   -1,   -1,   -1,   -1,  258,   -1,  257,   -1,  257,  258,
   -1,  257,  258,  258,  258,   -1,  257,  258,   -1,   -1,
   -1,   -1,   -1,   -1,   -1,   -1,   -1,   -1,   -1,   -1,
   -1,   -1,   -1,   -1,   -1,   -1,   -1,   -1,   -1,   -1,
   -1,   -1,   -1,   -1,   -1,   -1,   -1,  257,
};
#define YYFINAL 2
#ifndef YYDEBUG
#define YYDEBUG 0
#endif
#define YYMAXTOKEN 258
#if YYDEBUG
static const char *yyname[] = {

"end-of-file",0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,"'('","')'",0,0,0,0,0,"'/'",0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,"'^'","'_'",0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,"'{'",0,"'}'",0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
"CARACTER","PLACEHOLDER",
};
static const char *yyrule[] = {
"$accept : inicio",
"inicio :",
"inicio : inicio analizar",
"inicio : error PLACEHOLDER",
"analizar : e PLACEHOLDER",
"e : e '/' f",
"e : f",
"f : f g",
"f : g",
"g : t '^' t",
"g : t '_' t",
"g : t",
"c : CARACTER",
"t : '(' e ')'",
"t : '{' e '}'",
"t : t '^' t '_' t",
"t : t '_' t '^' t",
"t : c",

};
#endif
/* define the initial stack-sizes */
#ifdef YYSTACKSIZE
#undef YYMAXDEPTH
#define YYMAXDEPTH  YYSTACKSIZE
#else
#ifdef YYMAXDEPTH
#define YYSTACKSIZE YYMAXDEPTH
#else
#define YYSTACKSIZE 500
#define YYMAXDEPTH  500
#endif
#endif

#define YYINITSTACKSIZE 500

int      yydebug;
int      yynerrs;

typedef struct {
    unsigned stacksize;
    short    *s_base;
    short    *s_mark;
    short    *s_last;
    YYSTYPE  *l_base;
    YYSTYPE  *l_mark;
} YYSTACKDATA;
int      yyerrflag;
int      yychar;
YYSTYPE  yyval;
YYSTYPE  yylval;

/* variables for the parser stack */
static YYSTACKDATA yystack;
#line 183 "tp.y"


nodeType *buildNode(char c, int tipo) {
    nodeType *p;
    
    p = new nodeType();
    p->caracter = c;
    p->tipo = tipo;
    p->hijo1 = NULL;
    p->hijo2 = NULL;
    p->hijo3 = NULL;
    return p;
}

nodeType * joinSingleNode(nodeType * h1, int tipo) {
    nodeType *p;
    p = buildNode('R', tipo);
    p->hijo1 = (int *)h1;
    return p;
}

nodeType *joinTwoNodes(nodeType * h1, nodeType * h2, int tipo) {
    nodeType *p = joinSingleNode(h1, tipo);
    p->hijo2 = (int *)h2;
    return p;
}

nodeType *joinThreeNodes(nodeType * h1, nodeType * h2, nodeType * h3, int tipo) {
    nodeType *p = joinTwoNodes(h1, h2,  tipo);
    p->hijo3 = (int *)h3;
    return p;
}


void yyerror(char *s) {
    fprintf(stdout, "%s\n", s);
}

#include <fstream>
int main(int argc, char * argv[]) {
    if(argc < 2)
    {
        std::cout << "Debe ingresar como parametro una formula entre comillas. Por ej.: \"formula\"" << std::endl;
        return 0;
    }
    std::ofstream temp("temp.tlen");
    temp << argv[1] << std::endl;
    temp.close();
    yyin = fopen("temp.tlen", "r");
    yyparse();
    if(std::remove("temp.tlen"))
    {
        std::cout << "No se pudo eliminar el archivo temporal temp.tlen, eliminarlo manualmente." << std::endl;
    }
    return 0;
}
float max_float(float x, float y)
{
    if(x > y)
    {
        return x;
    }
    else
    {
        return y;
    }
}

const float cuanto_subo = 0.45f;
const float cuanto_bajo = cuanto_subo/ 2.0f;
const float cuanto_subo_division = 0.28f;
infoSintetizados propagar_escala(nodeType * n)
{
#ifdef VERBOSE
    std::cout << "propagar_escala, tipo: " << decime_tipo(n->tipo) << std::endl;
#endif
    bool ya_entre = false;
    infoSintetizados result;
    if(n->tipo == TERMINAL && !ya_entre)
    {
        ya_entre = true;
        result.h2 = 0;
        result.h1 = n->escala;
        result.ancho = 0.6f * n->escala;
    }
    if(n->tipo == CONCATENACION && !ya_entre)
    {
        ya_entre = true;
        nodeType * hijo1 = ((nodeType *) n->hijo1);
        nodeType * hijo2 = ((nodeType *) n->hijo2);
        hijo1->escala = n->escala;
        infoSintetizados temp = propagar_escala(hijo1);
        hijo2->escala = n->escala;
        infoSintetizados temp2 = propagar_escala(hijo2);
        result.ancho = temp.ancho + temp2.ancho;
        result.h1 = max_float(temp.h1, temp2.h1);
        result.h2 = max_float(temp.h2, temp2.h2);
    }
    if(n->tipo == SUBINDICE && !ya_entre)
    {
        ya_entre = true;
        nodeType * hijo1 = ((nodeType *) n->hijo1);
        nodeType * hijo2 = ((nodeType *) n->hijo2);
        hijo1->escala = n->escala;
        infoSintetizados temp = propagar_escala(hijo1);
        hijo2->escala = n->escala * 0.7f;
        infoSintetizados temp2 = propagar_escala(hijo2);
        result.ancho = temp.ancho + temp2.ancho;
        result.h1 = max_float(temp.h1, temp2.h1 - cuanto_bajo * n->escala)  ;
        result.h2 = max_float(temp.h2, temp2.h2 + cuanto_bajo * n->escala);
        
    }
    if(n->tipo == SUPERINDICE && !ya_entre)
    {
        ya_entre = true;
        nodeType * hijo1 = ((nodeType *) n->hijo1);
        nodeType * hijo2 = ((nodeType *) n->hijo2);
        hijo1->escala = n->escala;
        infoSintetizados temp = propagar_escala(hijo1);
        hijo2->escala = n->escala * 0.7f;
        infoSintetizados temp2 = propagar_escala(hijo2);
        result.ancho = temp.ancho + temp2.ancho;
        result.h1 = max_float(temp.h1, temp2.h1 + cuanto_subo * n->escala);
        result.h2 =  max_float(temp.h2, temp2.h2 - cuanto_subo * n->escala)  ;
    }
    if(n->tipo == DIVISION && !ya_entre)
    {
        ya_entre = true;
        nodeType * hijo1 = ((nodeType *) n->hijo1);
        nodeType * hijo2 = ((nodeType *) n->hijo2);
        hijo1->escala = n->escala;
        infoSintetizados temp = propagar_escala(hijo1);
        hijo2->escala = n->escala;
        infoSintetizados temp2 = propagar_escala(hijo2);
        result.ancho = max_float(temp.ancho, temp2.ancho);
        result.h1 = temp.h1 - cuanto_subo_division * n->escala + 0.2 *n->escala;
        result.h2 = temp2.h1 - cuanto_subo_division * n->escala - 0.1 *n->escala+ temp2.h2;
        
        
    }
    if(n->tipo == PARENTESIS && !ya_entre)
    {
        ya_entre = true;
        nodeType * hijo1 = ((nodeType *) n->hijo1);
        
        hijo1->escala = n->escala;
        infoSintetizados temp = propagar_escala(hijo1);
        
        result.ancho = temp.ancho + 1.2f * n->escala;
        result.h1 = temp.h1;
        result.h2 = temp.h2;
    }
    if(n->tipo == SUBSUPER && !ya_entre)
    {
        ya_entre = true;
        nodeType * hijo1 = ((nodeType *) n->hijo1);
        nodeType * hijo2 = ((nodeType *) n->hijo2);
        nodeType * hijo3 = ((nodeType *) n->hijo3);
        
        hijo1->escala = n->escala;
        infoSintetizados temp = propagar_escala(hijo1);
        
        
        hijo2->escala = n->escala * 0.7f;
        infoSintetizados temp2 = propagar_escala(hijo2);
        
        
        
        hijo3->escala = n->escala * 0.7f;
        infoSintetizados temp3 = propagar_escala(hijo3);
        
        result.ancho = temp.ancho + max_float(temp2.ancho, temp3.ancho);
        result.h1 = max_float( temp.h1, temp3.h1 + (cuanto_subo * n->escala));
        result.h2 = max_float( temp.h2, temp2.h2 + (cuanto_bajo * n->escala));
        
        
    }
    if(n->tipo == SUPERSUB && !ya_entre)
    {
        ya_entre = true;
        nodeType * hijo1 = ((nodeType *) n->hijo1);
        nodeType * hijo2 = ((nodeType *) n->hijo2);
        nodeType * hijo3 = ((nodeType *) n->hijo3);
        
        hijo1->escala = n->escala;
        infoSintetizados temp = propagar_escala(hijo1);
        
        
        hijo2->escala = n->escala * 0.7f;
        infoSintetizados temp2 = propagar_escala(hijo2);
        
        
        
        hijo3->escala = n->escala * 0.7f;
        infoSintetizados temp3 = propagar_escala(hijo3);
        
        result.ancho = temp.ancho + max_float(temp2.ancho, temp3.ancho);
        result.h1 = max_float( temp.h1, temp2.h1 + (cuanto_subo * n->escala));
        result.h2 = max_float( temp.h2, temp3.h2 + (cuanto_bajo * n->escala));
    }
    if(( n->tipo == C2CHAR ||n->tipo == RAIZ || n->tipo == CONVERSION) && !ya_entre)
    {
        ya_entre = true;
        nodeType * hijo1 = ((nodeType *) n->hijo1);
        
        hijo1->escala = n->escala;
        result = propagar_escala(hijo1);
        
    }
    if(!ya_entre)
    {
        #ifdef VERBOSE
        std::cout << "PROBLEMON: el tipo del nodo es cualquier cosa!!" << std::endl;
        #endif
    }
    n->h1 = result.h1;
    n->h2 = result.h2;
    n->ancho = result.ancho;
    return result;
}
std::ofstream mi_output;
void propagar_heredados(nodeType * n)
{
#ifdef VERBOSE
    std::cout << "propagar_heredados, tipo: " << decime_tipo(n->tipo) << " ancho: " << n->ancho << std::endl;
    std::cout << "caracter: " <<  n->caracter<<", h1:  " << n->h1 << std::endl;
    std::cout << "caracter: " <<  n->caracter<<", h2:  " << n->h2 << std::endl;
    std::cout << "caracter: " <<  n->caracter<<", escala:  " << n->escala << std::endl;
    std::cout << "caracter: " <<  n->caracter<<", x:  " << n->x << std::endl;
    std::cout << "caracter: " <<  n->caracter<<", y:  " << n->y << std::endl;
#endif
    bool ya_entre = false;
    if(n->tipo == TERMINAL && !ya_entre)
    {
#ifdef VERBOSE
        std::cout << "caracter: " <<  n->caracter<<", ancho:  " << n->ancho << std::endl;
        std::cout << "caracter: " <<  n->caracter<<", y:  " << n->x << std::endl;
#endif
        ya_entre = true;
        mi_output.precision(2);
        mi_output << "gsave ";
        mi_output << n->x << " " << n->y << " moveto ";
        mi_output << n->escala << " " << n->escala;
        mi_output << " scale (" << n->caracter << ") show grestore"   << std::endl;
    }
    if(n->tipo == CONCATENACION && !ya_entre)
    {
        ya_entre = true;
        nodeType * hijo1 = ((nodeType *) n->hijo1);
        nodeType * hijo2 = ((nodeType *) n->hijo2);
        hijo1->x = n->x;
        hijo1->y = n->y;
        propagar_heredados(hijo1);
        hijo2->x = n->x + hijo1->ancho;
        hijo2->y = n->y;
        propagar_heredados(hijo2);
    }
    if(n->tipo == SUBINDICE && !ya_entre)
    {
        ya_entre = true;
        nodeType * hijo1 = ((nodeType *) n->hijo1);
        nodeType * hijo2 = ((nodeType *) n->hijo2);
        hijo1->x = n->x;
        hijo1->y = n->y;
        propagar_heredados(hijo1);
        
        hijo2->x = n->x + hijo1->ancho;
        hijo2->y = n->y - cuanto_bajo * n->escala; // Ver cuanto hace falta bajarlo
        propagar_heredados(hijo2);
        
        
    }
    if(n->tipo == SUPERINDICE && !ya_entre)
    {
        ya_entre = true;
        nodeType * hijo1 = ((nodeType *) n->hijo1);
        nodeType * hijo2 = ((nodeType *) n->hijo2);
        hijo1->x = n->x;
        hijo1->y = n->y;
        propagar_heredados(hijo1);
        
        hijo2->x = n->x + hijo1->ancho;
        hijo2->y = n->y + cuanto_subo * n->escala; // Ver cuanto hace falta subirlo
        propagar_heredados(hijo2);
        
    }
    if(n->tipo == DIVISION && !ya_entre)
    {
        ya_entre = true;
        nodeType * hijo1 = ((nodeType *) n->hijo1);
        nodeType * hijo2 = ((nodeType *) n->hijo2);
        
        nodeType * hijo_ancho = ((nodeType *) n->hijo1);
        nodeType * hijo_flaco = ((nodeType *) n->hijo2);
        if(hijo1->ancho > hijo2->ancho)
        {
            hijo_ancho = hijo1;
            hijo_flaco = hijo2;
        }
        else
        {
            hijo_ancho = hijo2;
            hijo_flaco = hijo1;
        }
        hijo_flaco->x = n->x + (hijo_ancho->ancho - hijo_flaco->ancho) / 2.0f;
        hijo_ancho->x = n->x;
        hijo1->y = n->y + hijo1->h2 + cuanto_subo_division * n->escala +  0.2 *n->escala;
        propagar_heredados(hijo1);
        
        hijo2->y = n->y - ( hijo2->h1) + cuanto_subo_division * n->escala+ 0.1 *n->escala; // Ver cuanto hace falta bajarlo
        propagar_heredados(hijo2);
        
        
        mi_output.precision(2);
        mi_output << "gsave ";
        mi_output << n->x << " " << (n->y + cuanto_subo_division) << " moveto ";
        mi_output << n->ancho << " " << 0.0f;
        mi_output << " rlineto stroke grestore"   << std::endl;
    }
    if(n->tipo == PARENTESIS && !ya_entre)
    {
        ya_entre = true;
        nodeType * hijo1 = ((nodeType *) n->hijo1);
        hijo1->x = n->x + 0.6f* n->escala;
        hijo1->y = n->y ;
        propagar_heredados(hijo1);
        mi_output.precision(2);
        mi_output << "gsave ";
        mi_output << n->x  << " " << n->y - n->h2 * 0.5f * n->escala << " moveto ";
        mi_output << n->escala <<" " << (n->h1 + n->h2) *1.5f* n->escala << " scale (\\() show grestore" << std::endl;
       
       
        mi_output << "gsave ";
        mi_output << n->x -0.6f * n->escala + n->ancho << " " << n->y - n->h2 * 0.5f * n->escala<< " moveto ";
        mi_output << n->escala << " " << (n->h1 + n->h2) *1.5f* n->escala << " scale (\\)) show grestore" << std::endl;
       
        // Los parametros de scale estan hechos a mano para el parentesis, testear bien!
        // Lo mismo para el moveto
    }
    if(n->tipo == SUBSUPER && !ya_entre)
    {
        ya_entre = true;
        nodeType * hijo1 = ((nodeType *) n->hijo1);
        nodeType * hijo2 = ((nodeType *) n->hijo2);
        nodeType * hijo3 = ((nodeType *) n->hijo3);
        hijo1->x = n->x;
        hijo1->y = n->y;
        propagar_heredados(hijo1);
        
        hijo2->x = n->x + hijo1->ancho;
        hijo2->y = n->y - cuanto_bajo * n->escala; // Ver cuanto hace falta bajarlo
        propagar_heredados(hijo2);
        
        
        hijo3->x = n->x + hijo1->ancho;
        hijo3->y = n->y + cuanto_subo * n->escala; // Ver cuanto hace falta subirlo
        propagar_heredados(hijo3);
    }
    if(n->tipo == SUPERSUB && !ya_entre)
    {
        ya_entre = true;
        nodeType * hijo1 = ((nodeType *) n->hijo1);
        nodeType * hijo2 = ((nodeType *) n->hijo2);
        nodeType * hijo3 = ((nodeType *) n->hijo3);
        hijo1->x = n->x;
        hijo1->y = n->y;
        propagar_heredados(hijo1);
        
        
        hijo2->x = n->x + hijo1->ancho;
        hijo2->y = n->y + cuanto_subo * n->escala; // Ver cuanto hace falta subirlo
        propagar_heredados(hijo2);
        
        hijo3->x = n->x + hijo1->ancho;
        hijo3->y = n->y - cuanto_bajo * n->escala; // Ver cuanto hace falta bajarlo
        propagar_heredados(hijo3);
        
        
    }
    if((n->tipo == C2CHAR || n->tipo == RAIZ || n->tipo == CONVERSION) && !ya_entre)
    {
        ya_entre = true;
        nodeType * hijo1 = ((nodeType *) n->hijo1);
        hijo1->x = n->x;
        hijo1->y = n->y;
        propagar_heredados(hijo1);
    }

    if(n->tipo == C2CHAR && !ya_entre)
    {
        ya_entre = true;
    }
    if(!ya_entre)
    {
        
        #ifdef VERBOSE
        std::cout << "PROBLEMON: el tipo del nodo es cualquier cosa!!" << std::endl;
        #endif
    }
}
void romper_todo(nodeType *n)
{
    if(n!=NULL)
    {
        nodeType * hijo1 = (nodeType *) n->hijo1;
        nodeType * hijo2 = (nodeType *) n->hijo2;
        nodeType * hijo3 = (nodeType *) n->hijo3;
        romper_todo(hijo1);
        romper_todo(hijo2);
        romper_todo(hijo3);
        delete n;
    }

}
void analizo_grafo(nodeType * n) 
{
    if(n->tipo != RAIZ)
    {
        #ifdef VERBOSE
        std::cout << "PROBLEMON: la raiz no es raiz!!!" << std::endl;
        #endif
    }
    mi_output.open("bla.ps");
    n->escala=1.0f;
    propagar_escala(n);
    mi_output << "%!PS-Adobe-3.0 EPSF-3.0" << std::endl;
    mi_output << "%%BoundingBox: 0 0 " << (int(n->ancho)+ 1) *12 +3 << " "<< (int(n->h1 + n->h2)+1) *12 + 9<< std::endl;
    mi_output << "2 " << int(12.0f*n->h2) + 4<< " translate" << std::endl;
    mi_output << "12 12 scale" << std::endl;
    mi_output << ".03 setlinewidth" << std::endl;
    mi_output << "/Courier findfont setfont" << std::endl;
    n->x = 0;
    n->y = 0;
    propagar_heredados(n);
    #ifdef VERBOSE
    std::cout << "la rompo en yacc" << std::endl;
    #endif
    romper_todo(n);
    mi_output.close();
}   


// (A^BC^D/E^F_G+H)-I
#line 699 "tp.cc"

#if YYDEBUG
#include <stdio.h>		/* needed for printf */
#endif

#include <stdlib.h>	/* needed for malloc, etc */
#include <string.h>	/* needed for memset */

/* allocate initial stack or double stack size, up to YYMAXDEPTH */
static int yygrowstack(YYSTACKDATA *data)
{
    int i;
    unsigned newsize;
    short *newss;
    YYSTYPE *newvs;

    if ((newsize = data->stacksize) == 0)
        newsize = YYINITSTACKSIZE;
    else if (newsize >= YYMAXDEPTH)
        return -1;
    else if ((newsize *= 2) > YYMAXDEPTH)
        newsize = YYMAXDEPTH;

    i = data->s_mark - data->s_base;
    newss = (data->s_base != 0)
          ? (short *)realloc(data->s_base, newsize * sizeof(*newss))
          : (short *)malloc(newsize * sizeof(*newss));
    if (newss == 0)
        return -1;

    data->s_base = newss;
    data->s_mark = newss + i;

    newvs = (data->l_base != 0)
          ? (YYSTYPE *)realloc(data->l_base, newsize * sizeof(*newvs))
          : (YYSTYPE *)malloc(newsize * sizeof(*newvs));
    if (newvs == 0)
        return -1;

    data->l_base = newvs;
    data->l_mark = newvs + i;

    data->stacksize = newsize;
    data->s_last = data->s_base + newsize - 1;
    return 0;
}

#if YYPURE || defined(YY_NO_LEAKS)
static void yyfreestack(YYSTACKDATA *data)
{
    free(data->s_base);
    free(data->l_base);
    memset(data, 0, sizeof(*data));
}
#else
#define yyfreestack(data) /* nothing */
#endif

#define YYABORT  goto yyabort
#define YYREJECT goto yyabort
#define YYACCEPT goto yyaccept
#define YYERROR  goto yyerrlab

int
YYPARSE_DECL()
{
    int yym, yyn, yystate;
#if YYDEBUG
    const char *yys;

    if ((yys = getenv("YYDEBUG")) != 0)
    {
        yyn = *yys;
        if (yyn >= '0' && yyn <= '9')
            yydebug = yyn - '0';
    }
#endif

    yynerrs = 0;
    yyerrflag = 0;
    yychar = YYEMPTY;
    yystate = 0;

#if YYPURE
    memset(&yystack, 0, sizeof(yystack));
#endif

    if (yystack.s_base == NULL && yygrowstack(&yystack)) goto yyoverflow;
    yystack.s_mark = yystack.s_base;
    yystack.l_mark = yystack.l_base;
    yystate = 0;
    *yystack.s_mark = 0;

yyloop:
    if ((yyn = yydefred[yystate]) != 0) goto yyreduce;
    if (yychar < 0)
    {
        if ((yychar = YYLEX) < 0) yychar = 0;
#if YYDEBUG
        if (yydebug)
        {
            yys = 0;
            if (yychar <= YYMAXTOKEN) yys = yyname[yychar];
            if (!yys) yys = "illegal-symbol";
            printf("%sdebug: state %d, reading %d (%s)\n",
                    YYPREFIX, yystate, yychar, yys);
        }
#endif
    }
    if ((yyn = yysindex[yystate]) && (yyn += yychar) >= 0 &&
            yyn <= YYTABLESIZE && yycheck[yyn] == yychar)
    {
#if YYDEBUG
        if (yydebug)
            printf("%sdebug: state %d, shifting to state %d\n",
                    YYPREFIX, yystate, yytable[yyn]);
#endif
        if (yystack.s_mark >= yystack.s_last && yygrowstack(&yystack))
        {
            goto yyoverflow;
        }
        yystate = yytable[yyn];
        *++yystack.s_mark = yytable[yyn];
        *++yystack.l_mark = yylval;
        yychar = YYEMPTY;
        if (yyerrflag > 0)  --yyerrflag;
        goto yyloop;
    }
    if ((yyn = yyrindex[yystate]) && (yyn += yychar) >= 0 &&
            yyn <= YYTABLESIZE && yycheck[yyn] == yychar)
    {
        yyn = yytable[yyn];
        goto yyreduce;
    }
    if (yyerrflag) goto yyinrecovery;

    yyerror("syntax error");

    goto yyerrlab;

yyerrlab:
    ++yynerrs;

yyinrecovery:
    if (yyerrflag < 3)
    {
        yyerrflag = 3;
        for (;;)
        {
            if ((yyn = yysindex[*yystack.s_mark]) && (yyn += YYERRCODE) >= 0 &&
                    yyn <= YYTABLESIZE && yycheck[yyn] == YYERRCODE)
            {
#if YYDEBUG
                if (yydebug)
                    printf("%sdebug: state %d, error recovery shifting\
 to state %d\n", YYPREFIX, *yystack.s_mark, yytable[yyn]);
#endif
                if (yystack.s_mark >= yystack.s_last && yygrowstack(&yystack))
                {
                    goto yyoverflow;
                }
                yystate = yytable[yyn];
                *++yystack.s_mark = yytable[yyn];
                *++yystack.l_mark = yylval;
                goto yyloop;
            }
            else
            {
#if YYDEBUG
                if (yydebug)
                    printf("%sdebug: error recovery discarding state %d\n",
                            YYPREFIX, *yystack.s_mark);
#endif
                if (yystack.s_mark <= yystack.s_base) goto yyabort;
                --yystack.s_mark;
                --yystack.l_mark;
            }
        }
    }
    else
    {
        if (yychar == 0) goto yyabort;
#if YYDEBUG
        if (yydebug)
        {
            yys = 0;
            if (yychar <= YYMAXTOKEN) yys = yyname[yychar];
            if (!yys) yys = "illegal-symbol";
            printf("%sdebug: state %d, error recovery discards token %d (%s)\n",
                    YYPREFIX, yystate, yychar, yys);
        }
#endif
        yychar = YYEMPTY;
        goto yyloop;
    }

yyreduce:
#if YYDEBUG
    if (yydebug)
        printf("%sdebug: state %d, reducing by rule %d (%s)\n",
                YYPREFIX, yystate, yyn, yyrule[yyn]);
#endif
    yym = yylen[yyn];
    if (yym)
        yyval = yystack.l_mark[1-yym];
    else
        memset(&yyval, 0, sizeof yyval);
    switch (yyn)
    {
case 3:
#line 62 "tp.y"
	{
            yyerror("Formula invalida.");
        }
break;
case 4:
#line 68 "tp.y"
	{
            yyval.nPtr=joinSingleNode(yystack.l_mark[-1].nPtr, RAIZ);
            analizo_grafo(yyval.nPtr);
        }
break;
case 5:
#line 79 "tp.y"
	{
                yyval.nPtr=joinTwoNodes(yystack.l_mark[-2].nPtr, yystack.l_mark[0].nPtr, DIVISION);
                #ifdef VERBOSE
                std::cout << "reconozco e/e: "  << std::endl;
                #endif
        }
break;
case 6:
#line 87 "tp.y"
	{
                yyval.nPtr=joinSingleNode(yystack.l_mark[0].nPtr, CONVERSION);
                #ifdef VERBOSE
                std::cout << "reconozco f: "  << std::endl;
                #endif
        }
break;
case 7:
#line 98 "tp.y"
	{
                yyval.nPtr=joinTwoNodes(yystack.l_mark[-1].nPtr, yystack.l_mark[0].nPtr, CONCATENACION);
                #ifdef VERBOSE
                std::cout << "reconozco f g: "  << std::endl;
                #endif
        }
break;
case 8:
#line 106 "tp.y"
	{
                yyval.nPtr=joinSingleNode(yystack.l_mark[0].nPtr, CONVERSION);
                #ifdef VERBOSE
                std::cout << "reconozco g: "  << std::endl;
                #endif
        }
break;
case 9:
#line 116 "tp.y"
	{
                yyval.nPtr=joinTwoNodes(yystack.l_mark[-2].nPtr, yystack.l_mark[0].nPtr, SUPERINDICE);
                #ifdef VERBOSE
                std::cout << "reconozco t^t: "  << std::endl;
                #endif
        }
break;
case 10:
#line 124 "tp.y"
	{
                yyval.nPtr=joinTwoNodes(yystack.l_mark[-2].nPtr, yystack.l_mark[0].nPtr, SUBINDICE);
                #ifdef VERBOSE
                std::cout << "reconozco t_t: "  << std::endl;
                #endif
        }
break;
case 11:
#line 132 "tp.y"
	{
                yyval.nPtr=joinSingleNode(yystack.l_mark[0].nPtr, CONVERSION);
                
                #ifdef VERBOSE
                std::cout << "reconozco t: "  << std::endl;
                #endif
        }
break;
case 12:
#line 144 "tp.y"
	{
                yyval.nPtr=buildNode(yystack.l_mark[0].iValue, TERMINAL);
                yyval.nPtr->h2 = 0.0f;
                char temp = yystack.l_mark[0].iValue;
                #ifdef VERBOSE
                std::cout << "reconozco caracter: " << temp << std::endl;
                #endif
        }
break;
case 13:
#line 157 "tp.y"
	{
                yyval.nPtr=joinSingleNode(yystack.l_mark[-1].nPtr, PARENTESIS);
        }
break;
case 14:
#line 162 "tp.y"
	{
                yyval.nPtr=joinSingleNode(yystack.l_mark[-1].nPtr, CONVERSION);
        }
break;
case 15:
#line 167 "tp.y"
	{
                yyval.nPtr=joinThreeNodes(yystack.l_mark[-4].nPtr, yystack.l_mark[-2].nPtr, yystack.l_mark[0].nPtr, SUPERSUB);
        }
break;
case 16:
#line 172 "tp.y"
	{
                yyval.nPtr=joinThreeNodes(yystack.l_mark[-4].nPtr, yystack.l_mark[-2].nPtr, yystack.l_mark[0].nPtr, SUBSUPER);
        }
break;
case 17:
#line 177 "tp.y"
	{
                yyval.nPtr=joinSingleNode(yystack.l_mark[0].nPtr, C2CHAR);
        }
break;
#line 1027 "tp.cc"
    }
    yystack.s_mark -= yym;
    yystate = *yystack.s_mark;
    yystack.l_mark -= yym;
    yym = yylhs[yyn];
    if (yystate == 0 && yym == 0)
    {
#if YYDEBUG
        if (yydebug)
            printf("%sdebug: after reduction, shifting from state 0 to\
 state %d\n", YYPREFIX, YYFINAL);
#endif
        yystate = YYFINAL;
        *++yystack.s_mark = YYFINAL;
        *++yystack.l_mark = yyval;
        if (yychar < 0)
        {
            if ((yychar = YYLEX) < 0) yychar = 0;
#if YYDEBUG
            if (yydebug)
            {
                yys = 0;
                if (yychar <= YYMAXTOKEN) yys = yyname[yychar];
                if (!yys) yys = "illegal-symbol";
                printf("%sdebug: state %d, reading %d (%s)\n",
                        YYPREFIX, YYFINAL, yychar, yys);
            }
#endif
        }
        if (yychar == 0) goto yyaccept;
        goto yyloop;
    }
    if ((yyn = yygindex[yym]) && (yyn += yystate) >= 0 &&
            yyn <= YYTABLESIZE && yycheck[yyn] == yystate)
        yystate = yytable[yyn];
    else
        yystate = yydgoto[yym];
#if YYDEBUG
    if (yydebug)
        printf("%sdebug: after reduction, shifting from state %d \
to state %d\n", YYPREFIX, *yystack.s_mark, yystate);
#endif
    if (yystack.s_mark >= yystack.s_last && yygrowstack(&yystack))
    {
        goto yyoverflow;
    }
    *++yystack.s_mark = (short) yystate;
    *++yystack.l_mark = yyval;
    goto yyloop;

yyoverflow:
    yyerror("yacc stack overflow");

yyabort:
    yyfreestack(&yystack);
    return (1);

yyaccept:
    yyfreestack(&yystack);
    return (0);
}
